Maszyny matematyczne - Zdzisław Pawlak
Książka przedstawia podstawowe zagadnienia zwiazane z cyfrowymi maszynami matematycznymi.
Automatyczne dowodzenie twierdzeń - Zdzisław Pawlak
Książka przybliża zagadnienia automatycznego dowodzenia twierdzeń na maszynach cyfrowych.
Gramatyka i matematyka - Zdzisław Pawlak
Książka podejmuje problem przenikania się matematyki i języka naturalnego.
